S. V. Artemov : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (500+)
Les plus populaires
Liste
- Liste
- Tableau

THE LOGIC OF JUSTIFICATION

ARTEMOV, SERGEI

Journal:

The Review of Symbolic Logic

Année:

2008

Langue:

english

Fichier:

PDF, 218 KB

english, 2008

THE LAPLACE-BELTRAMI OPERATOR ON RANK ONE SEMISIMPLE SYMMETRIC SPACES IN POLAR COORDINATES

ARTEMOV A. A., MOLCHANOV V. F.

Journal:

Вестник Тамбовского университета. Серия: Естественные и технические науки

Année:

2005

Fichier:

PDF, 292 KB

2005

Introducing Justification into Epistemic Logic

Artemov, S.

Journal:

Journal of Logic and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 119 KB

english, 2005

Production of multiple bellow expansion joints using rollers

B. S. Artemov, A. F. Chamin

Journal:

Chemical and Petroleum Engineering

Année:

1969

Langue:

english

Fichier:

PDF, 67 KB

english, 1969

Evaluation of the accuracy of the dimensions of compensator bellows produced by the hydroforming method

B. S. Artemov

Journal:

Chemical and Petroleum Engineering

Année:

1985

Langue:

english

Fichier:

PDF, 252 KB

english, 1985

Justification Logic (Reasoning with Reasons) || Going Past Modal Logic

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 136 KB

english, 2019

Logic of proofs

Sergei Artëmov

Journal:

Annals of Pure and Applied Logic

Année:

1994

Langue:

english

Fichier:

PDF, 2.21 MB

english, 1994

Justified common knowledge

Sergei Artemov

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 304 KB

english, 2006

The influence of thermal action on the quality of a clad metal tube sheet

N. S. Artemov, V. A. Bogush, A. G. Tkachev

Journal:

Chemical and Petroleum Engineering

Année:

1992

Langue:

english

Fichier:

PDF, 223 KB

english, 1992

The Basic Intuitionistic Logic of Proofs

Sergei Artemov and Rosalie Iemhoff

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 993 KB

english, 2007

Deep learning applications for predicting pharmacological properties of drugs and drug repurposing using transcriptomic data

Aliper, Alexander, Plis, Sergey, Artemov, Artem, Ulloa, Alvaro, Mamoshina, Polina, Zhavoronkov, Alex

Journal:

Molecular Pharmaceutics

Année:

2016

Langue:

english

Fichier:

PDF, 708 KB

english, 2016

Design of efficient computational workflows for in silico drug repurposing

Vanhaelen, Quentin, Mamoshina, Polina, Aliper, Alexander M., Artemov, Artem, Lezhnina, Ksenia, Ozerov, Ivan, Labat, Ivan, Zhavoronkov, Alex

Journal:

Drug Discovery Today

Année:

2016

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2016

INTUITIONISTIC EPISTEMIC LOGIC

ARTEMOV, SERGEI, PROTOPOPESCU, TUDOR

Journal:

The Review of Symbolic Logic

Année:

2016

Langue:

english

Fichier:

PDF, 278 KB

english, 2016

Constructive knowledge and the justified true belief paradigm

Artemov, Sergei

Journal:

Indagationes Mathematicae

Année:

2017

Langue:

english

Fichier:

PDF, 289 KB

english, 2017

Intonation und Prosodie (Intonation and Prosody)

Artemov, V.A.

Journal:

Phonetica

Année:

1978

Langue:

german

Fichier:

PDF, 3.50 MB

german, 1978

Justification Logic (Reasoning with Reasons) || Arithmetical Completeness and BHK Semantics

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 180 KB

english, 2019

Justification Logic (Reasoning with Reasons) || The Range of Realization

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 168 KB

english, 2019

Justification Logic (Reasoning with Reasons) || The Basics of Justification Logic

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 158 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Quantifiers in Justification Logic

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 277 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Sequents and Tableaus

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 230 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Realization – Generalized

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 257 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Fitting Models

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 204 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Introduction

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 129 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Index

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 74 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Realization – How It Began

Artemov, Sergei, Fitting, Melvin

Année:

2019

Langue:

english

Fichier:

PDF, 129 KB

english, 2019

3DoF Parallel robot analysis

Artemov, D V, Masyuk, V M, Orekhov, S Y, Pchelkina, I V

Journal:

IOP Conference Series Materials Science and Engineering

Année:

2019

Langue:

english

Fichier:

PDF, 917 KB

english, 2019

Justification awareness

Artemov, Sergei

Journal:

Journal of Logic and Computation

Année:

2020

Fichier:

PDF, 197 KB

2020

MR molecular imaging of the Her-2/neu receptor in breast cancer cells using targeted iron oxide nanoparticles

Dmitri Artemov, Noriko Mori, Baasil Okollie, Zaver M. Bhujwalla

Journal:

Magnetic Resonance in Medicine

Année:

2003

Langue:

english

Fichier:

PDF, 610 KB

english, 2003

About the limits of existence of α-cluster structure in nuclei

K.P. Artemov, V.Z. Goldberg, I.P. Petrov, V.P. Rudakov, I.N. Serikov, V.A. Timofeev, P.R. Christensen

Journal:

Nuclear Physics A

Année:

1979

Langue:

english

Fichier:

PDF, 462 KB

english, 1979

A tribute to D.B. Spalding and his contributions in science and engineering

V. Artemov, S.B. Beale, G. de Vahl Davis, M.P. Escudier, N. Fueyo, B.E. Launder, E. Leonardi, M.R. Malin, W.J. Minkowycz, S.V. Patankar, A. Pollard, W. Rodi, A. Runchal, S.P. Vanka

Journal:

International Journal of Heat and Mass Transfer

Année:

2009

Langue:

english

Fichier:

PDF, 502 KB

english, 2009

VGa-based alloys as candidate materials for fusion reactor application

L.I. Ivanov, Yu.M. Platov, A.I. Dediurin, I.V. Borovitskaia, V.M. Lazorenko, N.N. Savvateev, V.V. Sidorova, M.I. Zakharova, N.A. Artemov

Journal:

Journal of Nuclear Materials

Année:

1996

Langue:

english

Fichier:

PDF, 359 KB

english, 1996

Elastic modules and thermal conductivity of neutron irradiated type 13Cr2MoNbVB ferritic—martensitic steel

M.I. Zakharova, N.A. Artemov, D.V. Petrov

Journal:

Journal of Nuclear Materials

Année:

1996

Langue:

english

Fichier:

PDF, 425 KB

english, 1996

Training of metrologists in various industries

V. I. Artemov, G. F. Zimin

Journal:

Measurement Techniques

Année:

1975

Langue:

english

Fichier:

PDF, 148 KB

english, 1975

Increasing the tube accuracy rolled on a pilger mill

V. V. Ermakov, Yu. V. Poyurovskii, E. I. Karpov, S. A. Reznikov, N. V. Artemov, S. A. Borisenko, B. N. Matveev, I. G. Getiya, L. M. Troshchenko, A. A. Kashira, E. I. Tulainov, L. G. Ermakova, N. G. Zo

Journal:

Metallurgist

Année:

1976

Langue:

english

Fichier:

PDF, 233 KB

english, 1976

Force parameters in hydroforming of the corrugations of expansion bellows

V. S. Artemov

Journal:

Chemical and Petroleum Engineering

Année:

1984

Langue:

english

Fichier:

PDF, 285 KB

english, 1984

Discontinuous solutions in the theory of plasticity

M. A. Artemov, D. D. Ivlev

Journal:

International Applied Mechanics

Année:

1996

Langue:

english

Fichier:

PDF, 124 KB

english, 1996

Effect of blasting on the bearing capacity of pillars

V. G. Artemov, V. G. Zil’bershmidt, P. A. Lykhin, A. B. Pravin

Journal:

Journal of Mining Science

Année:

1971

Langue:

english

Fichier:

PDF, 450 KB

english, 1971

Mud volcanoes and gas hydrates in the Black Sea: new data from Dvurechenskii and Odessa mud volcanoes

G. Bohrmann, M. Ivanov, J.-P. Foucher, V. Spiess, J. Bialas, J. Greinert, W. Weinrebe, F. Abegg, G. Aloisi, Y. Artemov, V. Blinova, M. Drews, F. Heidersdorf, A. Krabbenhöft, I. Klaucke, S. Krastel, T.

Journal:

Geo-Marine Letters

Année:

2003

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2003

Self-Assembled Three Dimensional Radio Frequency (RF) Shielded Containers for Cell Encapsulation

Barjor Gimi, Timothy Leong, Zhiyong Gu, Michael Yang, Dmitri Artemov, Zaver M. Bhujwalla, David H. Gracias

Journal:

Biomedical Microdevices

Année:

2005

Langue:

english

Fichier:

PDF, 288 KB

english, 2005

Numerical Simulation of Convection-Conduction Heat Transfer in a Block of Rectangular Microchannels

V. I. Artemov, A. I. Leontiev, A. F. Polyakov

Journal:

High Temperature

Année:

2005

Langue:

english

Fichier:

PDF, 516 KB

english, 2005

BWO spectroscopy of water spin isomers based on desorption from glycerol

A. M. Makurenkov, V. G. Artemov, P. O. Kapralov, V. I. Tikhonov, A. A. Volkov

Journal:

Radiophysics and Quantum Electronics

Année:

2007

Langue:

english

Fichier:

PDF, 529 KB

english, 2007

Polishing nanodiamonds

A. S. Artemov

Journal:

Physics of the Solid State

Année:

2004

Langue:

english

Fichier:

PDF, 844 KB

english, 2004

Diffusion of fullerene-based nanocars on the surface of a gold crystal

S. S. Konyukhov, N. N. Artemov, I. A. Kaliman, I. V. Kupchenko, A. V. Nemukhin, A. A. Moskovskii

Journal:

Moscow University Chemistry Bulletin

Année:

2010

Langue:

english

Fichier:

PDF, 171 KB

english, 2010

Sorption experiments with water spin isomers in glycerol

V. I. Tikhonov, A. M. Makurenkov, V. G. Artemov, O. E. Porodinkov, A. A. Volkov

Journal:

Physics of Wave Phenomena

Année:

2007

Langue:

english

Fichier:

PDF, 735 KB

english, 2007

Vortex and Cavitation Flows in Hydraulic Systems

E. P. Zaporozhets, L. P. Kholpanov, G. K. Zibert, A. V. Artemov

Journal:

Theoretical Foundations of Chemical Engineering

Année:

2004

Langue:

english

Fichier:

PDF, 279 KB

english, 2004

Spalling resistance of high-density chamotte material reinforced with ceramic fibre

D. M. Karpinos, E. P. Mikhashchuk, G. V. Efimov, V. N. Pavlikov, V. A. Artemov, V. A. Efimov

Journal:

Refractories and Industrial Ceramics

Année:

1974

Langue:

english

Fichier:

PDF, 181 KB

english, 1974

The Ontology of Justifications in the Logical Setting

Sergei N. Artemov

Journal:

Studia Logica

Année:

2012

Langue:

english

Fichier:

PDF, 199 KB

english, 2012

Extrapolation of astrophysicalSfactors for the reaction14N((p, γ)15O to near-zero energies

S. V. Artemov, S. B. Igamov, Q. I. Tursunmakhatov, R. Yarmukhamedov

Journal:

Physics of Atomic Nuclei

Année:

2012

Langue:

english

Fichier:

PDF, 972 KB

english, 2012

Telescopic systems for investigating the atmosphere

Borodin, V. G., Vakhmyanin, K. P., Artemov, A. A., Krasov, S. V., Potapov, S. L., Charukhchev, A. V., Vesnin, V. N.

Journal:

Journal of Optical Technology

Année:

1999

Langue:

english

Fichier:

PDF, 50 KB

english, 1999

Fate of rising methane bubbles in stratified waters: How much methane reaches the atmosphere?

McGinnis, D. F., Greinert, J., Artemov, Y., Beaubien, S. E., Wüest, A.

Journal:

Journal of Geophysical Research

Année:

2006

Langue:

english

Fichier:

PDF, 2.80 MB

english, 2006